<?php
session_start();

// proceso para calcular el tiempo en que expira la sesi�n
$tiempo = 1200;
date_default_timezone_set("America/Mexico_city");

if (!isset($_SESSION['timeout_idle'])) {
    $_SESSION['timeout_idle'] = time() + $tiempo;
} else {
    if ($_SESSION['timeout_idle'] < time()) {    
		session_destroy();
		echo "<script language='javascript'>\n"; 
		echo "var texto = 'El tiempo de inactividad ha superado los 20 min. Necesita validar sus claves nuevamente para continuar.';";
		echo "alert(texto);\n";
		echo "window.location.href = 'default.php';\n</script>";
    } else {
        $_SESSION['timeout_idle'] = time() + $tiempo;
    }
}
$x = strlen($_SESSION['id_usuario']);
$existe_sesion = isset($_SESSION['id_usuario']);

if($x==0 || !$existe_sesion){
	session_destroy();
	echo "<script language='javascript'>\n"; 
	echo "var texto = 'El tiempo de inactividad ha superado los 20 min. Necesita validar sus claves nuevamente para continuar.';";
	echo "alert(texto);\n";
	echo "window.location.href = 'default.php';\n</script>";
}
?>
